* etc/TODO: Remove some obsolete/deleted packages.
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Jun 2012 18:47:12 +0000 (14:47 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Jun 2012 18:47:12 +0000 (14:47 -0400)
commit78e92858423e5573f0767606c5202d67ba50acba
treef2f790b0e54117bddf9cb3272630cba0d789bb8e
parent828e3fb9ace076a82e3734fc43c26e8654c5e86c
* etc/TODO: Remove some obsolete/deleted packages.
etc/TODO